Nevertheless, the dynamic linker accepts the semicolon notation, with the semantics described above.
不过, 动态连接器接受分号符号, 语意如上面描述.
网络文摘精选
为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;
互联网摘选
Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics
工作流过程图形建模及基于自动机的动态语义
互联网摘选
A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ
一种反应式SPM及其动态语义XYZ表示
互联网摘选
这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础。
互联网摘选
面向对象标准建模语言UML(Unified MOdeling Language)缺乏精确的动态语义。
互联网摘选
动态图软件水印技术是目前最好的动态软件水印技术之一,核心思想是将水印信息编码成拓扑图结构,从而使对拓扑图进行变换的保持语义攻击难以实现。
互联网摘选
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;
互联网摘选
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况,研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
Research on Medium-granularity Dynamic Update with Semantics Considered Grain size problem;
语义相关的中粒度动态更新技术研究2,粒度控制;
互联网摘选
